be logically deducible from the proposition - French English Dictionary